|
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Task Quarterly: Scientific Bulletin Of Academic Computer Centre In Gdansk
|
Year : 2005 Volume number : 09 Issue: 03 |
Logic, Primes And Computation: A Tale Of Unrest
(Article)
Subject:
Computability
,
Feasibility
,
Primality
,
Satisfiability (Sat)
Author:
Stefano
Leonesi
Carlo
Toffalori
page:
273
-
291
The Model U-Calculus: A Survey
(Article)
Subject:
U-Calculus
,
Fixed Point
,
Model Checking
Author:
Giacomo
Lenzi
page:
293
-
316
Probabilistic Variants Of Renyl-Ulam Game And Many-Valued Logic
(Article)
Subject:
Renyl-Ulam Game
,
Guessing Secrets
Author:
Claudio
Marini
Franco
Montagna
page:
317
-
335
The Use Of Complexity Hierarchies In Descriptive Set Theory And Automata Theory
(Article)
Subject:
Hierarchies
,
Infinite Game
,
Borel Reducibility
,
Automata Theory
Author:
Alessandro
Andretta
Riccardo
Camerlo
page:
337
-
356
Relativized Helping Operators
(Article)
Subject:
Oracle Turing Machines
,
Structural Complexity
,
Relativized Separations
,
Helping
Author:
Patrizio
Cintioli
page:
357
-
367
|
|
| | |